MARKET UPDATE Identity & Access Management Services Introduction Champion

Source URL: www.fischerinternational.com

• Computer access control
• Identity management
• Federated identity
• Cloud infrastructure
• Provisioning
• Single sign-on
• Cloud computing
• Security Assertion Markup Language
• Customer relationship management
• Identity management system
• SAML-based products and services

Software and System Engineering for Cyber-Physical Systems: technical challenges and collaboration opportunities 26 January 2016 – IRIT Toulouse http://www.cpse-labs.eu/news_item6.php Workshop goals

Source URL: www.erts2016.org

• Engineering
• Computing
• Technology
• Computer systems
• Systems engineering
• Cyber-physical system
• Systems Modeling Language
• Internet of things
• Object Process Methodology
• Computer security
• Model-based testing
• Systems design

Opportunities for Language Based Information Flow Security in Sensor Networks Victor Shnayder Harvard University

Source URL: www.eecs.harvard.edu

In Search of an Internet of Things Service Architecture: REST or WS-*? A Developers’ Perspective Dominique Guinard, Iulia Ion, and Simon Mayer Institute for Pervasive Computing, ETH Zurich, Switzerland, dguinard|iulia.

Source URL: www.vs.inf.ethz.ch

• Web services
• Computing
• World Wide Web
• Web of Things
• Service-oriented architecture
• Devices Profile for Web Services
• Internet of things
• Web Services Description Language
• WS-Security based products and services
• Project Metro

SERVICE and API EMULATION CloudPort is an easy-to-configure, comprehensive service emulation product for mimicking service APIs as a virtual endpoint or ESB broker that can be communicated Easy to Deploy

Source URL: www.crosschecknet.com

• Web services
• Identity management
• Computer access control
• Web Services Description Language
• Security Assertion Markup Language
• SOAP
• WS-Security
• WS-Addressing
• SAML 1.1
• SAML-based products and services
• GSOAP

Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan and Antoine Delignat-Lavaud, INRIA Paris-Rocquencourt; Sergio Maffeis, Imperial College London This paper is included in the Proceedings of

Source URL: www.defensivejs.com

• Hacking
• Cloud standards
• Computer access control
• Computer network security
• Web development
• JavaScript
• HTTP cookie
• Password manager
• Cross-site request forgery
• Cross-site scripting
• Browser security
• OAuth

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Jürgen Graf† and Chris

Source URL: grsrd.uni.lu

• Cryptography
• Computer security
• Language-based security
• KeY
• Ciphertext indistinguishability
• Universal composability

Poster: Korean Vowel Based Passwords Ji-Hyeon Yoon Hae Young Lee Department of Information Security

Source URL: www.ieee-security.org

• Linguistics
• Language
• Writing
• Korean language
• Password
• Hangul

Delft University of Technology Software Engineering Research Group Technical Report Series Declarative Access Control for WebDSL: Combining Language Integration and

Source URL: swerl.tudelft.nl

• Mandatory access control
• Access Control Matrix
• Role-based access control
• XACML
• Filesystem permissions
• Authorization
• Discretionary access control
• Mandatory Integrity Control
• Security-Enhanced Linux
• Computer security
• Security
• Access control